Answer Set Programming for Stream Reasoning
نویسندگان
چکیده
This paper explores Answer Set Programming (ASP) for stream reasoning with data retrieved continuously from sensors. We describe a proof-of-concept with an example of using declarative models to recognize car on-road situations.
منابع مشابه
Answer Update for Rule-Based Stream Reasoning
Stream reasoning is the task of continuously deriving conclusions on streaming data. To get results instantly one evaluates a query repeatedly on recent data chunks selected by window operators. However, simply recomputing results from scratch is impractical for rule-based reasoning with semantics similar to Answer Set Programming, due to the trade-off between complexity and data throughput. To...
متن کاملStream Reasoning with Answer Set Programming: Preliminary Report
The advance of Internet and Sensor technology has brought about new challenges evoked by the emergence of continuous data streams. While existing data stream management systems allow for high-throughput stream processing, they lack complex reasoning capacities. We address this shortcoming and elaborate upon an approach to knowledge-intense stream reasoning, based on Answer Set Programming (ASP)...
متن کاملAnswer Set Programming for Stream Reasoning
The advance of Internet and Sensor technology has brought about new challenges evoked by the emergence of continuous data streams. Beyond rapid data processing, application areas like ambient assisted living, robotics, or dynamic scheduling involve complex reasoning tasks. We address such scenarios and elaborate upon approaches to knowledge-intense stream reasoning, based on Answer Set Programm...
متن کاملStream Reasoning with Answer Set Programming : Extended Version ∗
The advance of Internet and Sensor technology has brought about new challenges evoked by the emergence of continuous data streams. While existing data stream management systems allow for high-throughput stream processing, they lack complex reasoning capacities. We address this shortcoming and elaborate upon an approach to knowledge-intense stream reasoning, based on Answer Set Programming (ASP)...
متن کاملEquivalent Stream Reasoning Programs
The emerging research field of stream reasoning faces the challenging trade-off between expressiveness of query programs and data throughput. For optimizing programs methods are needed to tell whether two programs are equivalent. Towards providing practical reasoning techniques on streams, we consider LARS programs, which is a powerful extension of Answer Set Programming (ASP) for stream reason...
متن کامل